Characterizing Information Diets of Social Media Users Juhi Kulshrestha, Muhammad Bilal Zafar, Lisette Espin Noboa, Krishna P. Gummadi, Saptarshi Ghosh Max Planck Institute for Software Systems Kaiserslautern-Saarbruecke

Source URL: www.mpi-sws.org

Certificates of Non-Membership for Classes of Read-Once Functions Dmitry Chistikov1? , Valentina Fedorova2 , and Andrey Voronenko2 1 Max Planck Institute for Software Systems (MPI-SWS), Germany

Source URL: www.mpi-sws.org

• Function
• Boolean algebra
• Artificial neuron
• Numerical software
• GEC
• Propositional directed acyclic graph
• Mathematics
• Functions and mappings
• Mathematical logic

A Uniformization Theorem for Nested Word to Word Transductions Dmitry Chistikov and Rupak Majumdar Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbr¨ ucken, Germany

Source URL: www.mpi-sws.org

• Nested word
• Finite state transducer
• Finite-state machine
• Büchi automaton
• Automata theory
• Theoretical computer science
• Computer science

Curriculum Vitae Rupak Majumdar Department: Email:

Source URL: www.mpi-sws.org

• Principles of Programming Languages
• Max Planck Institute for Software Systems
• International Colloquium on Automata
• Languages and Programming
• Lecture Notes in Computer Science
• Computing
• CHIC
• Computer science
• Automata theory
• Association for Computing Machinery

Storing and accessing the largest astronomical  catalogues with the SAI CAS project S. Koposov1,2,3, O. Bartunov2, S. Karpov4 et al2. Russian Virtual Observatory Max Planck Institute for Astronomy, Heidelberg, Germany

Source URL: lnfm1.sai.msu.ru

• Software
• Cross-platform software
• Database management systems
• PostgreSQL
• Aladin Sky Atlas
• SQL
• Relational database
• Database
• Data management
• Database theory
• Computing

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l

Source URL: www.andrew.cmu.edu

• Function
• Normal distribution
• Mathematics
• Constructible universe
• FO

A Look at Targeted Attacks Through the Lense of an NGO Stevens Le Blond, Adina Uritesc, and Cédric Gilbert, Max Planck Institute for Software Systems (MPI-SWS); Zheng Leong Chua and Prateek Saxena, National University o

Source URL: www.usenix.org

• Email
• Cybercrime
• Computer network security
• Cyberwarfare
• Malware
• Email spam
• Targeted threat
• Internet security
• Spam
• Internet
• Computing
• Spamming

Allen G. Clement Tel: +[removed]Tel: +[removed]Email: [removed] http://mpi-sws.org/˜aclement

Source URL: www.mpi-sws.org

• ACM SIGACT
• Distributed computing
• Max Planck Institute for Software Systems
• Kernel
• Symposium on Operating Systems Principles
• Computer science
• Operating Systems Design and Implementation

Karrierenmöglichkeiten für Nachwuchswissenschaftler

Source URL: gain-network.org

• Max Planck
• Tübingen
• Max Planck Institute for Behavioral Physiology
• Max Planck Institute for Software Systems
• Science and technology in Germany
• Germany
• Max Planck Society

Homomorphic Payment Addresses and the Pay-to-Contract Protocol Ilja Gerhardt∗ Max Planck Institute for Solid State Research, Heisenbergstraße 1, D[removed]Stuttgart, Germany Timo Hanke†

Source URL: arxiv.org

• Software
• Technology
• Bitcoin
• Peer-to-peer computing
• Financial cryptography
• ISO standards
• Electronic money
• Wallet
• Public-key cryptography
• Cryptography
• Payment systems
• Electronic commerce